Statechart Simulator for Modeling Architectural Dynamics
نویسندگان
چکیده
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) form a foundation for modeling and analyzing functional and non-functional properties of software systems, but, short of programming, only the simulation of those models can ensure certain desired qualities and functionalities. This paper presents an adaptation to statechart simulation, as pioneered by David Harel. This extension supports architectural dynamism – the creation, replacement, and destruction of components. We distinguish between design-time dynamism, where system dynamics are statically proscribed (e.g., creation of a predefined component class in response to a trigger), and run-time dynamism, where the system is modified while it is running (e.g., replacement of a faulty component without shutting down the system). Our enhanced simulation language, with over 100 commands, is toolsupported.
منابع مشابه
A real-time recursive dynamic model for vehicle driving simulators
This paper presents the Real-Time Recursive Dynamics (RTRD) model that is developed for driving simulators. The model could be implemented in the Driving Simulator. The RTRD can also be used for off-line high-speed dynamics analysis, compared with commercial multibody dynamics codes, to speed up mechanical design process. An overview of RTRD is presented in the paper. Basic models for specific ...
متن کاملStatechart Modeling and Web-based Simulation of Hybrid Dynamic Systems for E-automation
Web-based simulation of hybrid automation systems has attracted much attention. However, most available modeling approaches usually result in unnatural and complex models as both discrete logic and continuous behavior are involved. Based on the multi-paradigm modeling concept, this paper extends the traditional discrete statechart to model the continuous dynamics in a hierarchical and natural w...
متن کاملFuzzy Model of Human’s Performance for Guarding a Territory in an Air Combat
This paper proposes a new method for a three dimensional fuzzy model of pilot's performance for guarding a territory with a short-distance between two aircraft in an air combat task with a gun. A third-order nonlinear point mass vehicle model is considered for an aircraft's flight dynamics. The desired value of the velocity, the flight path and the heading angles are obtained from some derived ...
متن کاملUse Case Maps and UML for Complex Software-Driven Systems
The Use Case Map (UCM) notation allows the description of complex software-driven systems in terms of high-level causal scenarios. By superimposing scenario paths on a structure of abstract components, UCMs provide an integrated view of behavior and structure at the system level. This paper presents interesting features of UCMs in relation with several types of diagrams defined in UML. It also ...
متن کاملUml-statechart Modeling Tool for the Vle Simulator: an Application to a Chronic Renal Dialysis Unit
The various reforms of the health care system aim at reducing the corresponding costs. So the hospitals must rationalize their costs while guaranteeing a good quality of service. In order to reach this goal, different scenarios of health care unit management have to be envisaged and carefully evaluated before their implementation on the system. Thus, simulation is used more and more frequently ...
متن کامل